12 Bounds for constant-depth Frege systems (BAPLaCT)